[next] [prev] [prev-tail] [tail] [up]

Integrals 101 to 200

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

194 194 123 105 204 126 0 244 285

N.S.

1 1.00 0.63 0.54 1.05 0.65 0.00 1.26 1.47

time (sec)

N/A 0.478 0.997 0.302 0.225 0.276 0.000 0.334 18.014

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

197 197 112 227 382 181 0 280 262

N.S.

1 1.00 0.57 1.15 1.94 0.92 0.00 1.42 1.33

time (sec)

N/A 0.460 5.765 0.672 0.204 0.279 0.000 0.359 17.964

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 157 195 201 285 161 0 246 224

N.S.

1 1.00 1.24 1.28 1.82 1.03 0.00 1.57 1.43

time (sec)

N/A 0.314 4.208 0.485 0.203 0.270 0.000 0.368 18.289

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

147 147 92 179 250 151 0 222 231

N.S.

1 1.00 0.63 1.22 1.70 1.03 0.00 1.51 1.57

time (sec)

N/A 0.265 2.928 0.439 0.200 0.293 0.000 0.334 15.889

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 145 152 151 177 151 0 219 199

N.S.

1 1.00 1.05 1.04 1.22 1.04 0.00 1.51 1.37

time (sec)

N/A 0.304 1.098 0.492 0.208 0.269 0.000 0.333 15.612

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 162 364 153 175 148 0 230 207

N.S.

1 1.00 2.25 0.94 1.08 0.91 0.00 1.42 1.28

time (sec)

N/A 0.460 7.469 0.480 0.213 0.300 0.000 0.370 15.615

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 156 1014 127 137 138 0 210 189

N.S.

1 1.00 6.50 0.81 0.88 0.88 0.00 1.35 1.21

time (sec)

N/A 0.478 8.294 0.413 0.205 0.276 0.000 0.334 15.674

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

169 169 124 103 171 112 0 213 195

N.S.

1 1.00 0.73 0.61 1.01 0.66 0.00 1.26 1.15

time (sec)

N/A 0.466 1.775 0.379 0.208 0.279 0.000 0.334 15.620

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

161 161 97 91 190 106 0 210 247

N.S.

1 1.00 0.60 0.57 1.18 0.66 0.00 1.30 1.53

time (sec)

N/A 0.384 0.941 0.257 0.212 0.258 0.000 0.345 18.344

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

216 216 123 106 239 126 0 244 285

N.S.

1 1.00 0.57 0.49 1.11 0.58 0.00 1.13 1.32

time (sec)

N/A 0.633 0.687 0.294 0.220 0.261 0.000 0.335 18.331

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

228 228 131 253 462 201 0 314 301

N.S.

1 1.00 0.57 1.11 2.03 0.88 0.00 1.38 1.32

time (sec)

N/A 0.606 5.846 0.800 0.216 0.285 0.000 0.373 18.195

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

188 188 243 227 449 181 0 280 262

N.S.

1 1.00 1.29 1.21 2.39 0.96 0.00 1.49 1.39

time (sec)

N/A 0.388 5.134 0.591 0.208 0.284 0.000 0.367 18.205

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

177 177 112 226 308 177 0 257 277

N.S.

1 1.00 0.63 1.28 1.74 1.00 0.00 1.45 1.56

time (sec)

N/A 0.454 6.720 0.527 0.208 0.289 0.000 0.372 15.487

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

181 181 203 223 296 171 0 253 246

N.S.

1 1.00 1.12 1.23 1.64 0.94 0.00 1.40 1.36

time (sec)

N/A 0.549 5.213 0.679 0.210 0.295 0.000 0.361 15.743

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

192 192 1420 190 211 170 0 248 252

N.S.

1 1.00 7.40 0.99 1.10 0.89 0.00 1.29 1.31

time (sec)

N/A 0.811 12.361 0.631 0.202 0.277 0.000 0.344 15.648

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

198 198 1250 180 211 171 0 248 244

N.S.

1 1.00 6.31 0.91 1.07 0.86 0.00 1.25 1.23

time (sec)

N/A 0.817 12.311 0.623 0.216 0.278 0.000 0.348 15.664

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 200 375 144 194 158 0 244 234

N.S.

1 1.00 1.88 0.72 0.97 0.79 0.00 1.22 1.17

time (sec)

N/A 0.660 7.610 0.464 0.215 0.305 0.000 0.365 15.757

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

207 207 147 120 229 138 0 248 202

N.S.

1 1.00 0.71 0.58 1.11 0.67 0.00 1.20 0.98

time (sec)

N/A 0.651 4.504 0.394 0.204 0.276 0.000 0.371 15.912

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

192 192 119 107 273 126 0 244 286

N.S.

1 1.00 0.62 0.56 1.42 0.66 0.00 1.27 1.49

time (sec)

N/A 0.461 1.212 0.300 0.201 0.277 0.000 0.356 18.471

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

254 254 145 125 319 146 0 278 323

N.S.

1 1.00 0.57 0.49 1.26 0.57 0.00 1.09 1.27

time (sec)

N/A 0.814 0.432 0.389 0.218 0.267 0.000 0.359 17.719

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 165 792 197 408 189 0 213 184

N.S.

1 1.00 4.80 1.19 2.47 1.15 0.00 1.29 1.12

time (sec)

N/A 0.244 7.743 0.570 0.212 0.287 0.000 0.312 16.277

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

133 133 1090 165 325 172 0 185 150

N.S.

1 1.00 8.20 1.24 2.44 1.29 0.00 1.39 1.13

time (sec)

N/A 0.211 8.427 0.436 0.230 0.273 0.000 0.324 15.318

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 107 316 118 239 152 0 130 106

N.S.

1 1.00 2.95 1.10 2.23 1.42 0.00 1.21 0.99

time (sec)

N/A 0.199 3.638 0.353 0.211 0.260 0.000 0.293 15.095

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 227 82 144 109 0 101 72

N.S.

1 1.00 3.98 1.44 2.53 1.91 0.00 1.77 1.26

time (sec)

N/A 0.172 4.665 0.226 0.207 0.264 0.000 0.297 15.175

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 36 59 125 88 0 80 101

N.S.

1 1.00 0.73 1.20 2.55 1.80 0.00 1.63 2.06

time (sec)

N/A 0.133 0.637 0.142 0.315 0.280 0.000 0.300 15.015

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 52 108 37 117 53 0 74 59

N.S.

1 1.00 2.08 0.71 2.25 1.02 0.00 1.42 1.13

time (sec)

N/A 0.120 0.785 0.185 0.285 0.248 0.000 0.293 14.862

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 96 159 56 184 77 0 96 83

N.S.

1 1.00 1.66 0.58 1.92 0.80 0.00 1.00 0.86

time (sec)

N/A 0.177 1.113 0.238 0.282 0.260 0.000 0.295 15.105

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 124 225 73 269 97 0 152 114

N.S.

1 1.00 1.81 0.59 2.17 0.78 0.00 1.23 0.92

time (sec)

N/A 0.205 2.715 0.290 0.287 0.260 0.000 0.293 14.981

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 156 283 91 351 113 0 180 153

N.S.

1 1.00 1.81 0.58 2.25 0.72 0.00 1.15 0.98

time (sec)

N/A 0.222 2.577 0.355 0.294 0.266 0.000 0.291 14.937

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

172 172 623 196 379 237 0 225 197

N.S.

1 1.00 3.62 1.14 2.20 1.38 0.00 1.31 1.15

time (sec)

N/A 0.396 6.332 0.541 0.215 0.263 0.000 0.321 15.141

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 150 513 156 288 222 0 171 144

N.S.

1 1.00 3.42 1.04 1.92 1.48 0.00 1.14 0.96

time (sec)

N/A 0.365 4.927 0.453 0.206 0.270 0.000 0.322 15.282

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 99 280 118 191 167 0 142 111

N.S.

1 1.00 2.83 1.19 1.93 1.69 0.00 1.43 1.12

time (sec)

N/A 0.311 2.775 0.305 0.214 0.267 0.000 0.312 14.895

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 81 377 73 146 128 0 112 77

N.S.

1 1.08 5.03 0.97 1.95 1.71 0.00 1.49 1.03

time (sec)

N/A 0.189 2.542 0.181 0.206 0.258 0.000 0.302 14.960

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 141 47 119 94 0 84 64

N.S.

1 1.00 2.07 0.69 1.75 1.38 0.00 1.24 0.94

time (sec)

N/A 0.147 2.063 0.134 0.284 0.270 0.000 0.326 15.115

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 82 195 69 165 102 0 114 99

N.S.

1 1.00 2.38 0.84 2.01 1.24 0.00 1.39 1.21

time (sec)

N/A 0.264 1.452 0.245 0.304 0.266 0.000 0.287 14.911

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 137 281 85 236 134 0 137 134

N.S.

1 1.00 2.05 0.62 1.72 0.98 0.00 1.00 0.98

time (sec)

N/A 0.359 2.205 0.299 0.291 0.263 0.000 0.304 15.046

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

163 163 349 101 325 148 0 191 181

N.S.

1 1.00 2.14 0.62 1.99 0.91 0.00 1.17 1.11

time (sec)

N/A 0.402 2.137 0.360 0.291 0.263 0.000 0.311 15.375

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

198 198 632 175 330 289 0 207 195

N.S.

1 1.00 3.19 0.88 1.67 1.46 0.00 1.05 0.98

time (sec)

N/A 0.582 3.949 0.539 0.201 0.280 0.000 0.370 15.207

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 145 457 135 233 222 0 178 150

N.S.

1 1.00 3.15 0.93 1.61 1.53 0.00 1.23 1.03

time (sec)

N/A 0.497 5.564 0.391 0.202 0.279 0.000 0.362 14.830

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 123 236 87 167 184 0 131 110

N.S.

1 1.00 1.92 0.71 1.36 1.50 0.00 1.07 0.89

time (sec)

N/A 0.401 3.756 0.221 0.217 0.276 0.000 0.339 15.317

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 104 121 58 134 89 0 89 69

N.S.

1 1.00 1.16 0.56 1.29 0.86 0.00 0.86 0.66

time (sec)

N/A 0.229 1.760 0.182 0.215 0.254 0.000 0.309 14.814

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 106 227 65 140 138 0 104 117

N.S.

1 1.00 2.14 0.61 1.32 1.30 0.00 0.98 1.10

time (sec)

N/A 0.223 2.961 0.159 0.292 0.251 0.000 0.310 14.793

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

120 120 283 85 205 149 0 151 153

N.S.

1 1.00 2.36 0.71 1.71 1.24 0.00 1.26 1.28

time (sec)

N/A 0.457 3.424 0.287 0.289 0.263 0.000 0.304 15.303

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

183 183 385 103 276 184 0 174 184

N.S.

1 1.00 2.10 0.56 1.51 1.01 0.00 0.95 1.01

time (sec)

N/A 0.691 4.452 0.354 0.289 0.272 0.000 0.317 14.913

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

216 216 455 119 365 201 0 228 231

N.S.

1 1.00 2.11 0.55 1.69 0.93 0.00 1.06 1.07

time (sec)

N/A 0.796 5.064 0.413 0.292 0.276 0.000 0.328 15.005

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

232 232 746 192 372 354 0 241 256

N.S.

1 1.00 3.22 0.83 1.60 1.53 0.00 1.04 1.10

time (sec)

N/A 1.023 8.641 0.583 0.210 0.283 0.000 0.360 15.197

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

183 183 544 152 274 277 0 212 204

N.S.

1 1.00 2.97 0.83 1.50 1.51 0.00 1.16 1.11

time (sec)

N/A 0.804 6.797 0.403 0.220 0.266 0.000 0.344 15.055

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

161 161 283 111 228 235 0 182 156

N.S.

1 1.00 1.76 0.69 1.42 1.46 0.00 1.13 0.97

time (sec)

N/A 0.576 3.184 0.285 0.203 0.270 0.000 0.339 14.937

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 138 151 78 175 123 0 117 83

N.S.

1 1.00 1.09 0.57 1.27 0.89 0.00 0.85 0.60

time (sec)

N/A 0.440 2.635 0.224 0.218 0.245 0.000 0.327 15.724

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 142 171 76 175 124 0 117 88

N.S.

1 1.00 1.20 0.54 1.23 0.87 0.00 0.82 0.62

time (sec)

N/A 0.307 3.910 0.211 0.218 0.246 0.000 0.340 16.186

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 136 315 87 201 182 0 154 163

N.S.

1 1.00 2.32 0.64 1.48 1.34 0.00 1.13 1.20

time (sec)

N/A 0.310 6.215 0.190 0.294 0.266 0.000 0.314 16.160

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 152 371 103 246 193 0 184 192

N.S.

1 1.00 2.44 0.68 1.62 1.27 0.00 1.21 1.26

time (sec)

N/A 0.579 7.850 0.334 0.296 0.292 0.000 0.329 16.031

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

215 215 505 119 318 234 0 207 249

N.S.

1 1.00 2.35 0.55 1.48 1.09 0.00 0.96 1.16

time (sec)

N/A 0.734 8.700 0.424 0.295 0.283 0.000 0.331 16.031

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

248 248 575 138 405 252 0 261 198

N.S.

1 1.00 2.32 0.56 1.63 1.02 0.00 1.05 0.80

time (sec)

N/A 0.792 8.870 0.480 0.286 0.289 0.000 0.345 15.843

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

223 223 109 143 0 133 0 0 636

N.S.

1 1.00 0.49 0.64 0.00 0.60 0.00 0.00 2.85

time (sec)

N/A 0.622 0.905 1.398 0.000 0.282 0.000 0.000 27.430

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 180 119 121 0 116 0 0 535

N.S.

1 1.00 0.66 0.67 0.00 0.64 0.00 0.00 2.97

time (sec)

N/A 0.522 0.714 0.882 0.000 0.271 0.000 0.000 25.795

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 137 71 99 0 98 0 0 423

N.S.

1 1.00 0.52 0.72 0.00 0.72 0.00 0.00 3.09

time (sec)

N/A 0.487 0.667 0.573 0.000 0.275 0.000 0.000 19.926

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 95 55 71 0 81 0 0 182

N.S.

1 1.00 0.58 0.75 0.00 0.85 0.00 0.00 1.92

time (sec)

N/A 0.231 0.576 0.522 0.000 0.264 0.000 0.000 21.066

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 96 96 121 0 294 0 0 0

N.S.

1 1.00 1.00 1.26 0.00 3.06 0.00 0.00 0.00

time (sec)

N/A 0.171 2.210 0.705 0.000 0.289 0.000 0.000 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 94 84 177 792 258 0 0 0

N.S.

1 1.00 0.89 1.88 8.43 2.74 0.00 0.00 0.00

time (sec)

N/A 0.244 0.519 0.871 0.374 0.279 0.000 0.000 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 110 114 317 1207 298 0 0 0

N.S.

1 1.00 1.04 2.88 10.97 2.71 0.00 0.00 0.00

time (sec)

N/A 0.318 1.096 0.568 0.449 0.322 0.000 0.000 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

153 153 117 349 2713 334 0 0 0

N.S.

1 1.00 0.76 2.28 17.73 2.18 0.00 0.00 0.00

time (sec)

N/A 0.425 0.624 0.681 0.610 0.317 0.000 0.000 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

196 196 70 383 7699 368 0 0 0

N.S.

1 1.00 0.36 1.95 39.28 1.88 0.00 0.00 0.00

time (sec)

N/A 0.535 0.319 0.586 0.736 0.328 0.000 0.000 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

225 225 142 144 0 139 0 0 751

N.S.

1 1.00 0.63 0.64 0.00 0.62 0.00 0.00 3.34

time (sec)

N/A 0.867 1.240 1.008 0.000 0.273 0.000 0.000 41.944

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

174 174 90 122 0 120 0 0 621

N.S.

1 1.00 0.52 0.70 0.00 0.69 0.00 0.00 3.57

time (sec)

N/A 0.779 1.000 0.836 0.000 0.270 0.000 0.000 24.395

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

132 132 73 100 0 101 0 0 510

N.S.

1 1.00 0.55 0.76 0.00 0.77 0.00 0.00 3.86

time (sec)

N/A 0.444 1.388 0.644 0.000 0.261 0.000 0.000 19.901

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 133 122 221 0 346 0 0 0

N.S.

1 1.00 0.92 1.66 0.00 2.60 0.00 0.00 0.00

time (sec)

N/A 0.356 3.383 0.311 0.000 0.285 0.000 0.000 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 136 105 191 804 330 0 0 0

N.S.

1 1.00 0.77 1.40 5.91 2.43 0.00 0.00 0.00

time (sec)

N/A 0.494 0.828 0.546 0.426 0.315 0.000 0.000 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 151 109 327 0 318 0 0 0

N.S.

1 1.00 0.72 2.17 0.00 2.11 0.00 0.00 0.00

time (sec)

N/A 0.699 0.598 0.558 0.000 0.334 0.000 0.000 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 155 124 350 0 348 0 0 0

N.S.

1 1.00 0.80 2.26 0.00 2.25 0.00 0.00 0.00

time (sec)

N/A 0.572 1.835 0.599 0.000 0.316 0.000 0.000 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 200 146 384 0 380 0 0 0

N.S.

1 1.00 0.73 1.92 0.00 1.90 0.00 0.00 0.00

time (sec)

N/A 0.705 2.777 0.527 0.000 0.322 0.000 0.000 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

245 245 159 418 0 420 0 0 0

N.S.

1 1.00 0.65 1.71 0.00 1.71 0.00 0.00 0.00

time (sec)

N/A 0.802 1.678 0.714 0.000 0.373 0.000 0.000 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

273 273 165 168 0 171 0 0 1039

N.S.

1 1.00 0.60 0.62 0.00 0.63 0.00 0.00 3.81

time (sec)

N/A 1.088 2.262 0.368 0.000 0.271 0.000 0.000 29.330

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

211 211 143 146 0 149 0 0 885

N.S.

1 1.00 0.68 0.69 0.00 0.71 0.00 0.00 4.19

time (sec)

N/A 0.692 2.283 120.656 0.000 0.266 0.000 0.000 27.042

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

169 169 90 124 0 130 0 0 766

N.S.

1 1.00 0.53 0.73 0.00 0.77 0.00 0.00 4.53

time (sec)

N/A 0.403 2.256 44.861 0.000 0.259 0.000 0.000 23.616

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

170 170 151 228 0 408 0 0 0

N.S.

1 1.00 0.89 1.34 0.00 2.40 0.00 0.00 0.00

time (sec)

N/A 0.396 4.057 9.741 0.000 0.291 0.000 0.000 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

173 173 123 217 1384 398 0 0 0

N.S.

1 1.00 0.71 1.25 8.00 2.30 0.00 0.00 0.00

time (sec)

N/A 0.474 1.473 51.032 0.434 0.292 0.000 0.000 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

188 188 137 338 0 402 0 0 0

N.S.

1 1.00 0.73 1.80 0.00 2.14 0.00 0.00 0.00

time (sec)

N/A 0.744 0.777 52.418 0.000 0.317 0.000 0.000 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

192 192 173 361 0 380 0 0 0

N.S.

1 1.00 0.90 1.88 0.00 1.98 0.00 0.00 0.00

time (sec)

N/A 0.783 1.911 186.580 0.000 0.308 0.000 0.000 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 200 335 386 0 408 0 0 0

N.S.

1 1.00 1.68 1.93 0.00 2.04 0.00 0.00 0.00

time (sec)

N/A 0.859 3.162 0.317 0.000 0.333 0.000 0.000 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-1) A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

245 245 391 420 0 448 0 0 0

N.S.

1 1.00 1.60 1.71 0.00 1.83 0.00 0.00 0.00

time (sec)

N/A 0.971 1.967 0.318 0.000 0.324 0.000 0.000 0.000

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-1) A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

290 290 441 454 0 488 0 0 0

N.S.

1 1.00 1.52 1.57 0.00 1.68 0.00 0.00 0.00

time (sec)

N/A 1.052 3.902 0.344 0.000 0.324 0.000 0.000 0.000

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

236 236 182 423 0 445 0 335 0

N.S.

1 1.00 0.77 1.79 0.00 1.89 0.00 1.42 0.00

time (sec)

N/A 1.000 1.859 0.633 0.000 0.301 0.000 1.549 0.000

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

193 193 116 341 0 412 0 219 0

N.S.

1 1.00 0.60 1.77 0.00 2.13 0.00 1.13 0.00

time (sec)

N/A 0.752 2.066 0.542 0.000 0.296 0.000 1.426 0.000

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

152 152 116 307 0 377 0 243 0

N.S.

1 1.00 0.76 2.02 0.00 2.48 0.00 1.60 0.00

time (sec)

N/A 0.514 1.598 0.377 0.000 0.296 0.000 1.352 0.000

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 109 90 226 0 336 0 129 0

N.S.

1 1.00 0.83 2.07 0.00 3.08 0.00 1.18 0.00

time (sec)

N/A 0.267 0.830 0.689 0.000 0.282 0.000 1.157 0.000

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 115 126 250 0 427 0 0 0

N.S.

1 1.00 1.10 2.17 0.00 3.71 0.00 0.00 0.00

time (sec)

N/A 0.201 3.498 0.698 0.000 0.696 0.000 0.000 0.000

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 113 109 255 0 437 0 355 0

N.S.

1 1.00 0.96 2.26 0.00 3.87 0.00 3.14 0.00

time (sec)

N/A 0.274 1.584 0.795 0.000 0.705 0.000 1.870 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

159 159 130 635 0 489 0 466 0

N.S.

1 1.00 0.82 3.99 0.00 3.08 0.00 2.93 0.00

time (sec)

N/A 0.460 0.462 0.766 0.000 1.381 0.000 1.984 0.000

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 200 145 668 0 524 0 816 0

N.S.

1 1.00 0.72 3.34 0.00 2.62 0.00 4.08 0.00

time (sec)

N/A 0.732 0.392 0.707 0.000 1.359 0.000 2.014 0.000

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

243 243 160 702 0 558 0 1012 0

N.S.

1 1.00 0.66 2.89 0.00 2.30 0.00 4.16 0.00

time (sec)

N/A 1.240 0.565 0.750 0.000 1.961 0.000 2.098 0.000

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

259 259 204 423 0 527 0 362 0

N.S.

1 1.00 0.79 1.63 0.00 2.03 0.00 1.40 0.00

time (sec)

N/A 1.377 2.378 0.866 0.000 0.312 0.000 1.426 0.000

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

214 214 154 362 0 492 0 276 0

N.S.

1 1.00 0.72 1.69 0.00 2.30 0.00 1.29 0.00

time (sec)

N/A 0.794 3.440 0.830 0.000 0.306 0.000 1.757 0.000

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

169 169 137 331 0 451 0 246 0

N.S.

1 1.00 0.81 1.96 0.00 2.67 0.00 1.46 0.00

time (sec)

N/A 0.551 3.339 0.757 0.000 0.299 0.000 1.897 0.000

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 126 121 258 0 374 0 185 0

N.S.

1 1.00 0.96 2.05 0.00 2.97 0.00 1.47 0.00

time (sec)

N/A 0.264 1.313 0.730 0.000 0.302 0.000 1.512 0.000

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 125 154 288 0 544 0 0 0

N.S.

1 1.00 1.23 2.30 0.00 4.35 0.00 0.00 0.00

time (sec)

N/A 0.234 3.662 0.573 0.000 1.811 0.000 0.000 0.000

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F B F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

158 158 153 656 0 560 0 409 0

N.S.

1 1.00 0.97 4.15 0.00 3.54 0.00 2.59 0.00

time (sec)

N/A 0.474 2.344 0.874 0.000 1.802 0.000 1.662 0.000

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

217 217 235 974 0 631 0 504 0

N.S.

1 1.00 1.08 4.49 0.00 2.91 0.00 2.32 0.00

time (sec)

N/A 0.741 3.161 0.951 0.000 3.288 0.000 2.325 0.000

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

266 266 427 1008 0 668 0 815 0

N.S.

1 1.00 1.61 3.79 0.00 2.51 0.00 3.06 0.00

time (sec)

N/A 0.953 2.891 0.846 0.000 3.277 0.000 2.314 0.000

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

259 259 173 407 0 588 0 361 0

N.S.

1 1.00 0.67 1.57 0.00 2.27 0.00 1.39 0.00

time (sec)

N/A 0.965 2.968 0.889 0.000 0.312 0.000 1.646 0.000

[next] [prev] [prev-tail] [front] [up]